Java bytecode - PDFSEARCH.IO - Document Search Engine

Java bytecode
Results: 201

#	Item
11	Checking Security of Java Bytecode by Abstract Interpretation Roberto Barbuti DiparUmento di Informatica Universit~ di Pisa Corso Italia 40 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-03-21 10:34:46 Obfuscation Computer programming Keyword cipher Index of Abkhazia-related articles Software engineering Index of standards articles
12	mzc: PLT Compilation and Packaging VersionApril 2, 2010 The mzc tool supports various PLT Scheme compilation and packaging tasks. Add to Reading List Source URL: download.plt-scheme.org Language: English - Date: 2010-04-02 17:29:54 Software Computing System software Programming language implementation Android Java virtual machine Compiler construction Bytecode Executable Dalvik Android Runtime Racket
13	Related projects by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any med Add to Reading List Source URL: aft.sourceforge.net Language: English - Date: 2003-04-12 08:49:01 Computing Software Scripting languages Java platform Object-oriented programming languages Software testing Jython Application programming interface Java bytecode Apache Ant Jakarta Project Java
14	OCaml-Java Cheat Sheet ocamlbuild (extended) Field accesses Add to Reading List Source URL: www.ocamljava.org Language: English - Date: 2015-06-08 16:14:20 Computing Software engineering Computer programming Object-oriented programming languages Functional languages Cross-platform software Programming languages Java platform OCaml Java Bytecode Caml
15	A Trace-based Java JIT Compiler Retrofitted from a Method-based Compiler Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2011-09-21 14:34:09 Computing Software Compiler construction Cross-platform software Programming language implementation Programming languages Java virtual machine Just-in-time compilation Compiler HotSpot Java Bytecode
16	Virtual Machine Showdown: Stack Versus Registers Yunhe Shi, David Gregg, Andrew Beatty M. Anton Ertl Department of Computer Science Add to Reading List Source URL: www.usenix.org Language: English - Date: 2005-08-02 11:12:30 Central processing unit Assembly languages Java virtual machine Android Programming language implementation Stack machine Java bytecode Dalvik Instruction set Processor register Stack Opcode
17	IEICE TRANS. ??, VOL.Exx–??, NO.xx XXXX 200x 1 PAPER Add to Reading List Source URL: www.shudo.net Language: English - Date: 2005-06-01 12:40:57 Programming language implementation Compiler construction Subroutines Cross-platform software Java Just-in-time compilation Java virtual machine Inline expansion Java bytecode Compiler Stack machine Interpreter
18	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00
19	Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-06-20 06:07:02 Logic Theoretical computer science Mathematical logic Logic in computer science Java bytecode Hoare logic Interpretation Separation logic Bytecode Model theory
20	IBM Presentations: Smart Planet Template Add to Reading List Source URL: pengwu.files.wordpress.com Language: English - Date: 2014-01-02 16:27:05 Array programming languages Functional languages Java platform Cross-platform software Compiler construction Just-in-time compilation R Java Bytecode Interpreter PyPy Profiling